TAHA, WALID: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

[Lecture Notes in Computer Science] Cyber Physical Systems. Design, Modeling, and Evaluation Volume 11267 (7th International Workshop, CyPhy 2017, Seoul, South Korea, October 15-20, 2017, Revised Selected Papers) || Template-Based Monte-Carlo Test Generation for Simulink Models

Chamberlain, Roger, Taha, Walid, Törngren, Martin

Year:

2019

Language:

english

File:

PDF, 711 KB

english, 2019

2

[Lecture Notes in Computer Science] Cyber Physical Systems. Model-Based Design Volume 11615 (8th International Workshop, CyPhy 2018, and 14th International Workshop, WESE 2018, Turin, Italy, October 4–5, 2018, Revised Selected Papers) || Challenges in Digital Twin Development for Cyber-Physical Production Systems

Chamberlain, Roger, Taha, Walid, Törngren, Martin

Year:

2019

Language:

english

File:

PDF, 1.45 MB

english, 2019

3

MetaML and multi-stage programming with explicit annotations

Walid Taha, Tim Sheard

Journal:

Theoretical Computer Science

Year:

2000

Language:

english

File:

PDF, 190 KB

english, 2000

4

[Lecture Notes in Computer Science] Generative Programming and Component Engineering Volume 2487 || Meta-programming with Concrete Object Syntax

Batory, Don, Consel, Charles, Taha, Walid

Year:

2002

Language:

english

File:

PDF, 185 KB

english, 2002

5

Multi-stage programming with explicit annotations

Taha, Walid, Sheard, Tim

Journal:

ACM SIGPLAN Notices

Year:

1997

Language:

english

File:

PDF, 1.49 MB

english, 1997

6

[ACM Press the 1997 ACM SIGPLAN symposium - Amsterdam, The Netherlands (1997.06.12-1997.06.13)] Proceedings of the 1997 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation - PEPM '97 - Multi-stage programming with explicit annotations

Taha, Walid, Sheard, Tim

Year:

1997

Language:

english

File:

PDF, 1.49 MB

english, 1997

7

[IEEE 2015 IEEE 17th International Conference on High Performance Computing and Communications (HPCC), 2015 IEEE 7th International Symposium on Cyberspace Safety and Security (CSS) and 2015 IEEE 12th International Conf on Embedded Software and Systems (ICESS) - New York, NY, USA (2015.8.24-2015.8.26)] 2015 IEEE 17th International Conference on High Performance Computing and Communications, 2015 IEEE 7th International Symposium on Cyberspace Safety and Security, and 2015 IEEE 12th International Conference on Embedded Software and Systems - Using Rigorous Simulation to Support ISO 26262 Hazard Analysis and Risk Assessment

Duracz, Adam, Eriksson, Henrik, Bartha, Ferenc A., Xu, Fei, Zeng, Yingfu, Taha, Walid

Year:

2015

Language:

english

File:

PDF, 465 KB

english, 2015

8

[Lecture Notes in Computer Science] Practical Aspects of Declarative Languages Volume 10137 ||

Lierler, Yuliya, Taha, Walid

Year:

2017

Language:

english

File:

PDF, 7.07 MB

english, 2017

9

[Lecture Notes in Computer Science] Cyber Physical Systems. Design, Modeling, and Evaluation Volume 11267 (7th International Workshop, CyPhy 2017, Seoul, South Korea, October 15-20, 2017, Revised Selected Papers) || Formal Analysis of Robotic Cell Injection Systems Using Theorem Proving

Chamberlain, Roger, Taha, Walid, Törngren, Martin

Year:

2019

Language:

english

File:

PDF, 544 KB

english, 2019

10

Nanopyramid-based absorber to boost the efficiency of InGaN solar cells

El Huni, Walid, Karrakchou, Soufiane, Halfaya, Yacine, Arif, Muhammad, Jordan, Matthew B., Puybaret, Renaud, Ayari, Taha, Ennakrachi, Houda, Bishop, Chris, Gautier, Simon, Ahaitouf, Ali, Voss, Paul L.

Journal:

Year:

2019

Language:

english

File:

PDF, 4.65 MB

english, 2019

11

[Lecture Notes in Computer Science] Cyber Physical Systems. Model-Based Design Volume 11971 (9th International Workshop, CyPhy 2019, and 15th International Workshop, WESE 2019, New York City, NY, USA, October 17-18, 2019, Revised Selected Papers) ||

Chamberlain, Roger, Edin Grimheden, Martin, Taha, Walid

Year:

2020

File:

PDF, 27.10 MB

2020

12

Preface

Christian Lengauer, Walid Taha

Journal:

Science of Computer Programming

Year:

2006

Language:

english

File:

PDF, 100 KB

english, 2006

13

Viability of Salmonella enterica subsp. enterica during the preparation and cold storage of Egyptian soft cheeses and ice-cream

Taha A Nassib, Mohamed Zin El-Din, Walid M El-Sharoud

Journal:

International Journal of Dairy Technology

Year:

2003

Language:

english

File:

PDF, 113 KB

english, 2003

14

The role of inhaled nitric oxide in brain inflammation

Gilbert Blaise, QI. Yanqin, Rame Taha, Walid Elybayed

Journal:

Canadian Journal of Anesthesia/Journal canadien d'anesthésie

Year:

2007

Language:

english

File:

PDF, 17 KB

english, 2007

15

Implicitly Heterogeneous Multi-Stage Programming

Jason Eckhardt, Roumen Kaiabachev, Emir Pasalic, Kedar Swadi, Walid Taha

Journal:

New Generation Computing

Year:

2007

Language:

english

File:

PDF, 787 KB

english, 2007

16

Synthesizable High Level Hardware Descriptions

Jennifer Gillenwater, Gregory Malecha, Cherif Salama, Angela Yun Zhu, Walid Taha, Jim Grundy, John O’leary

Journal:

New Generation Computing

Year:

2010

Language:

english

File:

PDF, 844 KB

english, 2010

17

Nephrocalcinosis in glucose-galactose malabsorption, association with renal tubular acidosis

Walid El-Naggar, J. Williamson Balfe, Maha Barbar, Doris Taha

Journal:

Pediatric Nephrology

Year:

2005

Language:

english

File:

PDF, 118 KB

english, 2005

18

Effect of thermophilic lactic acid bacteria on the viability of Salmonella serovar Typhimurium PT8 during milk fermentation and preparation of buffalo's yogurt

TAHA A NASSIB, MOHAMED ZIN EL-DIN, WALID M EL-SHAROUD

Journal:

International Journal of Dairy Technology

Year:

2006

Language:

english

File:

PDF, 132 KB

english, 2006

19

Static consistency checking for Verilog wire interconnects

Salama, Cherif, Malecha, Gregory, Taha, Walid, Grundy, Jim, O’Leary, John

Journal:

Higher-Order and Symbolic Computation

Year:

2011

Language:

english

File:

PDF, 953 KB

english, 2011

20

Waxy-Maize HES 130/0.4; evidence based clinical decisions

Waleed Hamimy, Magdy Khalil, Mohamed Ismail, Wafaa Taha Salem, Akram Muhammad Fayed, Mohamed Abd-El Khalek, Islam Mussad, Hans Djurberg, Abdul-Aziz Al-Khoja, Walid Al-Yafi, Adel Shabacy, Samer Soliman

Journal:

Egyptian Journal of Anaesthesia

Year:

2011

Language:

english

File:

PDF, 378 KB

english, 2011

21

Occurrence and Antimicrobial Susceptibility of Listeria monocytogenes Isolated from Brined White Cheese in Jordan

Tareq M. Osaili, Anas A. Al-Nabulsi, Mohammad H. Taha, Murad A. Al-Holy, Akram R. Alaboudi, Walid M. Al-Rousan, Reyad R. Shaker

Journal:

Journal of Food Science

Year:

2012

Language:

english

File:

PDF, 552 KB

english, 2012

22

[IEEE 2011 IEEE 36th Conference on Local Computer Networks (LCN 2011) - Bonn, Germany (2011.10.4-2011.10.7)] 2011 IEEE 36th Conference on Local Computer Networks - Scalability issues in localizing Things

Ibrahim, Walid M., Taha, Abd-Elhamid M., Hassanein, Hossam S.

Year:

2011

Language:

english

File:

PDF, 363 KB

english, 2011

23

[IEEE 2012 8th International Conference on Intelligent Environments (IE) - Guanajuato, Mexico (2012.06.26-2012.06.29)] 2012 Eighth International Conference on Intelligent Environments - Virtual Testing for Smart Buildings

Bruneau, Julien, Consel, Charles, OMalley, Marcia, Taha, Walid, Hannourah, Wail Masry

Year:

2012

Language:

english

File:

PDF, 466 KB

english, 2012

24

Effectiveness of esterified whey proteins fractions against Egyptian Lethal Avian Influenza A (H5N1)

Soad H Taha, Mona A Mehrez, Mahmoud Z Sitohy, Abdel Gawad I Abou Dawood, Mahmoud M Abd-El Hamid, Walid H Kilany

Journal:

Virology Journal

Year:

2010

Language:

english

File:

PDF, 316 KB

english, 2010

25

[Lecture Notes in Computer Science] Domain-Specific Languages Volume 5658 ||

Taha, Walid Mohamed

Year:

2009

Language:

english

File:

PDF, 9.41 MB

english, 2009

26

Mint

Westbrook, Edwin, Ricken, Mathias, Inoue, Jun, Yao, Yilong, Abdelatif, Tamer, Taha, Walid

Journal:

ACM SIGPLAN Notices

Year:

2010

Language:

english

File:

PDF, 466 KB

english, 2010

27

[IEEE 2014 IEEE Ninth International Conference on Intelligent Sensors, Sensor Networks and Information Processing (ISSNIP) - Singapore (2014.4.21-2014.4.24)] 2014 IEEE Ninth International Conference on Intelligent Sensors, Sensor Networks and Information Processing (ISSNIP) - Improving the accuracy of simulation models for localization schemes

Ibrahim, Walid M., Ali, Najah Abu, Taha, Abd-Elhamid M., Hassanein, Hossam S.

Year:

2014

Language:

english

File:

PDF, 494 KB

english, 2014

28

Cholestane and spirostane-type glycosides from the roots and rhizomes of Panicum repens L.

Temraz, Abeer, Hozaien, Hoda E., El-Tantawy, Walid H., El-Gindi, Omayma D., Taha, Kamilia F.

Journal:

Phytochemistry Letters

Year:

2014

Language:

english

File:

PDF, 512 KB

english, 2014

29

[IEEE 2009 International Conference on Embedded Software and Systems - Hangzhou, China (2009.05.25-2009.05.27)] 2009 International Conference on Embedded Software and Systems - Implementing Haptic Feedback Environments from High-Level Descriptions

Zhu, Angela Yun, Inoue, Jun, Peralta, Marisa Linnea, Taha, Walid, O'Malley, Marcia K., Powell, Dane

Year:

2009

Language:

english

File:

PDF, 872 KB

english, 2009

30

Using smart vehicles for localizing isolated Things

Ibrahim, Walid M., Taha, Abd-Elhamid M., Hassanein, Hossam S.

Journal:

Computer Communications

Year:

2014

Language:

english

File:

PDF, 1.77 MB

english, 2014

31

[IEEE 2012 32nd International Conference on Distributed Computing Systems Workshops (ICDCS Workshops) - Macau, China (2012.06.18-2012.06.21)] 2012 32nd International Conference on Distributed Computing Systems Workshops - A Core Language for Executable Models of Cyber-Physical Systems (Preliminary Report)

Taha, Walid, Brauner, Paul, Zeng, Yingfu, Cartwright, Robert, Gaspes, Veronica, Ames, Aaron, Chapoutot, Alexandre

Year:

2012

Language:

english

File:

PDF, 734 KB

english, 2012

32

[IEEE 2013 IEEE 1st International Conference on Cyber-Physical Systems, Networks, and Applications (CPSNA) - Taipei, Taiwan (2013.08.19-2013.08.20)] 2013 IEEE 1st International Conference on Cyber-Physical Systems, Networks, and Applications (CPSNA) - Enclosing the behavior of a hybrid system up to and beyond a Zeno point

Konecny, Michal, Taha, Walid, Duracz, Jan, Duracz, Adam, Ames, Aaron

Year:

2013

Language:

english

File:

PDF, 267 KB

english, 2013

33

[IEEE 2013 IEEE Global Communications Conference (GLOBECOM 2013) - Atlanta, GA (2013.12.9-2013.12.13)] 2013 IEEE Global Communications Conference (GLOBECOM) - Does multi-hop communication enhance localization accuracy?

Ibrahim, Walid M., Hassanein, Hossam S., Taha, Abd-Elhamid M.

Year:

2013

Language:

english

File:

PDF, 1.00 MB

english, 2013

34

[IEEE Systems (ICCES) - Cairo, Egypt (2008.11.25-2008.11.27)] 2008 International Conference on Computer Engineering & Systems - Plenary talk III Domain-specific languages

Year:

2008

Language:

english

File:

PDF, 5.59 MB

english, 2008

35

[IEEE 2009 International Conference on Embedded Software and Systems - Hangzhou, China (2009.05.25-2009.05.27)] 2009 International Conference on Embedded Software and Systems - In Pursuit of Real Answers

Zhu, Angela Yun, Taha, Walid, Cartwright, Robert, Martel, Matthieu, Siek, Jeremy G.

Year:

2009

Language:

english

File:

PDF, 638 KB

english, 2009

36

[IEEE ICC 2013 - 2013 IEEE International Conference on Communications - Budapest, Hungary (2013.06.9-2013.06.13)] 2013 IEEE International Conference on Communications (ICC) - Robust wireless multihop localization using mobile anchors

Ibrahim, Walid M., Taha, Abd-Elhamid M., Arabia, Saudi

Year:

2013

Language:

english

File:

PDF, 236 KB

english, 2013

37

[Lecture Notes in Computer Science] Semantics, Applications, and Implementation of Program Generation Volume 2196 ||

Year:

2001

Language:

english

File:

PDF, 2.27 MB

english, 2001

38

[Lecture Notes in Computer Science] Semantics, Applications, and Implementation of Program Generation Volume 2196 || Accomplishments and Research Challenges in Meta-programming

Year:

2001

Language:

english

File:

PDF, 359 KB

english, 2001

39

[Lecture Notes in Computer Science] Semantics, Applications, and Implementation of Program Generation Volume 1924 || Code Generators for Automatic Tuning of Numerical Kernels: Experiences with FFTW Position Paper

Year:

2000

Language:

english

File:

PDF, 409 KB

english, 2000

40

[Lecture Notes in Computer Science] Semantics, Applications, and Implementation of Program Generation Volume 1924 ||

Year:

2000

Language:

english

File:

PDF, 3.59 MB

english, 2000

41

[Lecture Notes in Computer Science] Semantics, Applications, and Implementation of Program Generation Volume 1924 || On Jones-Optimal Specialization for Strongly Typed Languages

Year:

2000

Language:

english

File:

PDF, 248 KB

english, 2000

42

[IEEE 2011 IEEE 10th International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom) - Changsha, China (2011.11.16-2011.11.18)] 2011IEEE 10th International Conference on Trust, Security and Privacy in Computing and Communications - Release Offset Bounds for Response Time Analysis of P-FRP Using Exhaustive Enumeration

Belwal, Chaitanya, Cheng, Albert M.K., Taha, Walid

Year:

2011

Language:

english

File:

PDF, 324 KB

english, 2011

43

[Lecture Notes in Computer Science] Generative Programming and Component Engineering Volume 2487 || Generative Programming for Embedded Software: An Industrial Experience Report

Batory, Don, Consel, Charles, Taha, Walid

Year:

2002

Language:

english

File:

PDF, 1.11 MB

english, 2002

44

[IEEE 2014 IEEE/ACS 11th International Conference on Computer Systems and Applications (AICCSA) - Doha, Qatar (2014.11.10-2014.11.13)] 2014 IEEE/ACS 11th International Conference on Computer Systems and Applications (AICCSA) - Side localization to increase localization accuracy

Ibrahim, Walid M., Abu Ali, Najah A., Taha, Abd-Elhamid M., Hassanein, Hossam S.

Year:

2014

Language:

english

File:

PDF, 1.05 MB

english, 2014

45

Anti-hyperlipidemic activity of an extract from roots and rhizomes of Panicum repens L. on high cholesterol diet-induced hyperlipidemia in rats

El-Tantawy, Walid Hamdy, Temraz, Abeer, Hozaien, Hoda E., El-Gindi, Omayma D., Taha, Kamilia F.

Journal:

Zeitschrift für Naturforschung C

Year:

2015

Language:

english

File:

PDF, 889 KB

english, 2015

46

[ACM Press Companion to the 19th annual ACM SIGPLAN conference - Vancouver, BC, CANADA (2004.10.24-2004.10.28)] Companion to the 19th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications - OOPSLA '04 - Implementing DSLs in metaOCaml

Guerrero, Miguel, Pizzi, Edward, Rosenbaum, Robert, Swadi, Kedar, Taha, Walid

Year:

2004

Language:

english

File:

PDF, 94 KB

english, 2004

47

[ACM Press the fourth ACM international conference - Pisa, Italy (2004.09.27-2004.09.29)] Proceedings of the fourth ACM international conference on Embedded software - EMSOFT '04 - A methodology for generating verified combinatorial circuits

Kiselyov, Oleg, Swadi, Kedar N., Taha, Walid

Year:

2004

Language:

english

File:

PDF, 99 KB

english, 2004

48

[ACM Press the 2009 ACM SIGPLAN workshop - Savannah, GA, USA (2009.01.19-2009.01.20)] Proceedings of the 2009 ACM SIGPLAN workshop on Partial evaluation and program manipulation - PEPM '09 - Static consistency checking for verilog wire interconnects

Salama, Cherif, Malecha, Gregory, Taha, Walid, Grundy, Jim, O'Leary, John

Year:

2008

Language:

english

File:

PDF, 549 KB

english, 2008

49

[ACM Press the 7th ACM & IEEE international conference - Salzburg, Austria (2007.09.30-2007.10.03)] Proceedings of the 7th ACM & IEEE international conference on Embedded software - EMSOFT '07 - E-FRP with priorities

Kaiabachev, Roumen, Taha, Walid, Zhu, Angela

Year:

2007

Language:

english

File:

PDF, 414 KB

english, 2007

50

A core language for executable models of cyber physical systems

Taha, Walid, Brauner, Paul, Cartwright, Robert, Gaspes, Verónica, Ames, Aaron, Chapoutot, Alexandre

Journal:

ACM SIGBED Review

Year:

2011

Language:

english

File:

PDF, 142 KB

english, 2011